Let  be a cyclic group of order n.  Then  if and only if gcd(n,k) = 1.